Raffelsieper, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the random structure of behavioural transition systems

Groote, Jan Friso, van der Hofstad, Remco, Raffelsieper, Matthias

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.52 MB

english, 2016

2

Das Verhalten von gesintertem Eisen beim Nitrieren

Köster, Werner, Raffelsieper, Josef

Journal:

Archiv für das Eisenhüttenwesen

Year:

1951

Language:

german

File:

PDF, 1.50 MB

german, 1951

3

Das Verhalten von gesintertem Eisen beim Nitrieren

Köster, Werner, Raffelsieper, Josef

Journal:

Archiv für das Eisenhüttenwesen

Year:

1951

File:

PDF, 1.50 MB

1951

4

Der EinfluÃ der PulverkorngrÃ¶Ãe auf das Verhalten von gesintertem Eisen beim Nitrieren

KÃ¶ster, Werner, Raffelsieper, Josef

Journal:

Archiv für das Eisenhüttenwesen

Year:

1952

File:

PDF, 713 KB

1952

5

A Transformational Approach to Prove Outermost Termination Automatically

Matthias Raffelsieper, Hans Zantema

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 352 KB

english, 2009

6

Remote ischemic preconditioning reduces myocardial injury after coronary artery bypass surgery with crystalloid cardioplegic arrest

Matthias Thielmann, Eva Kottenberg, Kerstin Boengler, Christoph Raffelsieper, Markus Neuhaeuser, Jürgen Peters, Heinz Jakob, Gerd Heusch

Journal:

Basic Research in Cardiology

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

7

Kriminaltechnische Methoden zur Aufklärung von Schussdelikten

David Frommholz, Martina Krämer, Michael Raffelsieper, Harald Illges

Journal:

Year:

2011

Language:

german

File:

PDF, 616 KB

german, 2011

8

Long-run order-independence of vector-based transition systems

Raffelsieper, M., Mousavi, M.R., Zantema, H.

Journal:

IET Computers & Digital Techniques

Year:

2011

Language:

english

File:

PDF, 293 KB

english, 2011

9

Process Algebra as a Common Framework for Hardware/Software Coverification

Raffelsieper, M., Mousavi, M.R., Sleuters, J.

Journal:

IEEE Embedded Systems Letters

Year:

2011

Language:

english

File:

PDF, 163 KB

english, 2011

10

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Model Checking Verilog Descriptions of Cell Libraries

Raffelsieper, Matthias, Roorda, Jan-Willem, Mousavi, MohammadReza

Year:

2009

Language:

english

File:

PDF, 322 KB

english, 2009

11

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Order-Independence of Vector-Based Transition Systems

Raffelsieper, Matthias, Mousavi, MohammadReza, Zantema, Hans

Year:

2010

Language:

english

File:

PDF, 298 KB

english, 2010

12

A Monoclonal Antibody Against Bovine Adiponectin

Raffelsieper, Michael, Mielenz, Birgit, Häußler, Susanne, Sauerwein, Helga, Mielenz, Manfred, Illges, Harald

Journal:

Year:

2012

Language:

english

File:

PDF, 165 KB

english, 2012

13

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Checking and deriving module paths in Verilog cell library descriptions

Raffelsieper, Matthias, Mousavi, MohammadReza, Strolenberg, Chris

Year:

2010

Language:

english

File:

PDF, 193 KB

english, 2010

14

Automated termination proofs for haskell by term rewriting

Giesl, Jürgen, Raffelsieper, Matthias, Schneider-Kamp, Peter, Swiderski, Stephan, Thiemann, René

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 951 KB

english, 2011

15

[ACM Press the 8th ACM Conference - Foster City, Silicon Valley, California, USA (2014.10.06-2014.10.10)] Proceedings of the 8th ACM Conference on Recommender systems - RecSys '14 - Cosibon

Keller, Thorben, Raffelsieper, Matthias

Year:

2014

Language:

english

File:

PDF, 368 KB

english, 2014

16

Kraniektomie bei Hirndrucksteigerung durch Hirninfarkte und Meningoenzephalitis

Raffelsieper, B., Merten, C., Mennel, H.-D., Hedde, H.-P., Menzel, J., Bewermeyer, H.

Journal:

AINS - Anästhesiologie · Intensivmedizin · Notfallmedizin · Schmerztherapie

Year:

2002

File:

PDF, 443 KB

2002